Nuprl Definition : rps 0,22

rps(x;y) == x= y= x= y= x= y=
latex


Definitionsp  q, p  q, i=j, #$n
FDL editor aliasesrps

origin